Programmation logique et contraintes
نویسنده
چکیده
succès rencontrés très rapidement en résolution deprobì emes combinatoires, y compris dans desprobì emes clas-siques de recherche opérationnelle comme en ordonnancement par exemple, ont induit une forte vitalité industrielle et académique dans ce domaine. Les enjeux sont aujourd'hui d'aller vers une plus grande automatisation, qui n'at-teint pas encore celle des outils de programmation linéaire en nombres entiers par exemple, ainsi que d'explorer continuellement de nouvelles applications.
منابع مشابه
Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes
Nous définissons un modèle d’exécution réactif et interactif pour la programmation logique avec contraintes (PLC). Ce modèle d’exécution s’appuie d’une part sur un système de transformation des dérivations CSLD pour l’ajout et le retrait de contraintes et d’atomes dans la requête, et d’autre part sur un résolveur de contraintes dynamiques supportant l’ajout et le retrait incrémental de contrain...
متن کاملDes programmes logiques avec contraintes qui apprennent des programmes logiques avec contraintes
LIRSIA Faculté des Sciences Mirande 9, Avenue Alain Savary B.P. 400 — F-21011 Dijon Email : fMarc.Bernard, [email protected] Web : recife.u-bourgogne.fr:8081/f ̃mb, ̃fjg R esum e : La Programmation Logique Inductive (PLI) est une technique d’apprentissage efficace qui commence à être utilisée dans certaines applications industrielles. Cependant, la PLI repose sur la Programm...
متن کاملReformulation de problèmes de satisfaction de contraintes basée sur des métamodèles
Un des challenges importants en programmation par contraintes est la reformulation de modèles déclaratifs en programmes exécutables permettant de calculer leurs solutions. Cette phase peut nécessiter de faire des traductions entre les langages de la programmation par contraintes, de changer la représentation des contraintes ou d’optimiser les modèles et de paramétrer les stratégies de recherche...
متن کاملInférence de non-terminaison pour les programmes logiques avec contraintes
RÉSUMÉ. L’analyse de terminaison des programmes logiques a été sujette à une recherche intensive durant les deux dernières décennies. La majorité des travaux s’est intéressée à la terminaison universelle gauche d’une classe donnée de requêtes, c’est-à-dire au fait que toutes les dérivations des requêtes de cette classe produites par un moteur Prolog sont finies. En revanche, l’étude du problème...
متن کاملÉvaluer la difficulté d’une grille de sudoku à l’aide d’un modèle contraintes
Le sudoku est un jeu de logique qui est devenu en quelques mois un phénomène de société en France. Il envahit les métros, les trains, les bus, les salles de cours et même le journal Le Monde. Grâce à ce jeu, le grand public est devenu le M. Jourdain de la Programmation Par Contraintes. En effet, l’intérêt de ce jeu pour montrer très rapidement et très simplement les principes premiers de la pro...
متن کامل